- делать подстановку
- Mathematics: make substitution
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
С++ — См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в: 1985 г. Автор(ы): Бьёрн Страуструп … Википедия
C++ — У этого термина существуют и другие значения, см. C. См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в … Википедия
Теорема о конце света — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Теорема о конце света (Doomsday argument, сокращённо далее DA, нет устоявшегося перевода на русский язык, обычно используют английское … Википедия
Света аргумент — Теорема о конце света (Doomsday argument, сокращённо далее DA, нет устоявшегося перевода на русский язык, обычно используют английское название или сокращение DA) это вероятностное рассуждение, которое претендует на то, чтобы предсказывать… … Википедия
Влияния литературные — ВЛИЯНИЯ ЛИТЕРАТУРНЫЕ. Борьба классов основной закон социального бытия. Каждая общественная группировка живет и развивается под непрерывными воздействиями извне. Отстаивая права на самостоятельное развитие, она стремится эти внешние воздействия… … Литературная энциклопедия
Модель типизации Хиндли — Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… … Википедия
Корень Бринга — Проверить информацию. Необходимо проверить точность фактов и достоверность сведений, изложенных в этой статье. На странице обсуждения должны быть пояснения. В алгебре корень Бринга или ультрарадикал это аналитическая функция , такая что для… … Википедия
Gettext — Тип библиотека для интернационализации Разработчик Ульрих Дреппер Написана на Си ОС различные Версия … Википедия
Вывод типов — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Вывод типа (англ. Type inference) в программировании возможность компилятора… … Википедия
Модель типизации Хиндли-Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… … Википедия
Модель типизации Хиндли - Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… … Википедия